No seu nível mais básico, uma lista encadeada é uma estrutura de dados recursiva definida pela sua ausência ou composição. Uma lista é ou vazia (representada como []) ou consiste em um Cabeça contendo um único valor e uma Cauda que por si mesma é uma lista completa.

1. A Definição Recursiva

Ao definir a cauda como "ela mesma uma lista", permitimos aninhamento infinito. Isso é ilustrado pela construção de [ 1 | [ 2 | [ 3 | [ ] ] ] ], onde cada operador de tubulação (|) separa o valor imediato da estrutura restante.

2. Primitivo vs. Abstração

Listas primitivas na VM do Erlang (BEAM) são estruturas simples. Comportamentos como List.flatten/1 são abstrações fornecidas pelo módulo List do Elixir. A estrutura de dados bruta não "sabe" como se aplanar por si só; o módulo fornece a lógica para percorrer as cabeças e caudas aninhadas.

3. A Analogia das Bonecas Russas

Pense numa lista encadeada como um conjunto de bonecas russas. A boneca mais externa é a Cabeça. Quando você abre, encontra exatamente uma coisa: outra boneca (a Cauda). Você só atinge o Vazio estado quando você abre a última boneca, a menor, e não encontra nada dentro.